Information flow - PDFSEARCH.IO - Document Search Engine

Information flow
Results: 2315

#	Item
41	Technical Report No. 526 Timing-Sensitive Information Flow Analysis for Synchronous Systems Boris K¨opf and David Basin Information Security ETH Zurich, Switzerland Add to Reading List Source URL: software.imdea.org Language: English - Date: 2010-09-02 11:11:48
42	White paper submitted to Workshop on Economics and Information Security, May 16-17, 2002, University of California at Berkeley Improving Information Flow in the Information Security Market Carl E. Landwehr Add to Reading List Source URL: www2.sims.berkeley.edu Language: English - Date: 2002-05-19 11:15:10
43	Using Dynamic Pushdown Networks to Automate a Modular Information-flow Analysis Heiko Mantel1, Markus M¨ uller-Olm2, Matthias Perner1, and Alexander Wenner2 1 Add to Reading List Source URL: www.mais.informatik.tu-darmstadt.de Language: English - Date: 2016-03-15 10:13:19
44	An Information Flow Monitor for a Core of DOM Introducing references and live primitives Ana Almeida Matos1,2 , José Fragoso Santos3 , and Tamara Rezk3 2 1 Add to Reading List Source URL: www.cs.le.ac.uk Language: English - Date: 2014-07-28 09:33:01
45	Under consideration for publication in J. Functional Programming 1 Flexible Dynamic Information Flow Control in the Presence of Exceptions Add to Reading List Source URL: www.scs.stanford.edu Language: English - Date: 2015-10-16 03:16:33
46	IFC Inside: Retrofitting Languages with Dynamic Information Flow Control (Extended Version) Add to Reading List Source URL: www.scs.stanford.edu Language: English - Date: 2015-01-16 18:36:35
47	Factoring High Level Information Flow Specifications into Low Level Access Controls Kevin Kahley Manigandan Radhakrishnan Add to Reading List Source URL: www.ethos-os.org Language: English - Date: 2017-04-30 19:19:46
48	Design Flow Solutions Server Installation Instructions The following information describes how to install Design Flow Solutions 4 (DFS4) under various Windows operating systems. Future Windows updates may alter this info Add to Reading List Source URL: abzinc.com Language: English - Date: 2017-02-22 14:04:25
49	Nontermination and Secure Information Flow ∗ Geoffrey Smith and Rafael Alp´ızar School of Computing and Information Sciences Florida International University Miami, FLUSA October 24, 2011 Add to Reading List Source URL: users.cis.fiu.edu Language: English - Date: 2011-10-24 15:43:42
50	A Security-Preserving Compiler for Distributed Programs From Information-Flow Policies to Cryptographic Mechanisms Cédric Fournet Gurvan Le Guernic Add to Reading List Source URL: www-sop.inria.fr Language: English - Date: 2009-11-06 11:35:10